Logic for Pragmatics
نویسندگان
چکیده
This special issue of Fundamenta Informaticae is dedicated to papers related to the two workshops on “Logic for Pragmatics” held at the Dipartimento di Informatica, Università di Verona, Italy, on September 1-5, 2003, and at LACL, Université de Paris 12, Créteil, France, on July 23-24, 2004. The following note outlines the main ideas of the “Logic for Pragmatics” discussed at those workshops and indicates how the papers in this issue may be relevant for that programme.
منابع مشابه
Normative Pragmatics for Agent Communication Languages
The ability to communicate is one of the crucial properties of agents. In this paper a normative approach to the pragmatics of Agent Communication Languages (ACLs) is proposed. In an open environment, like the Internet, in which agents are designed in many different ways, it is important to clearly establish the meaning of a standard language for artificial agents. Traditionally, the pragmatics...
متن کاملThe Knowability Paradox in the light of a Logic for Pragmatics
The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions – called logical revision – has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, ...
متن کاملIndefeasible Semantics and Defeasible Pragmatics
An account of utterance interpretation in discourse needs to face the issue of how the discourse context controls the space of interacting preferences. Assuming a discourse processing architecture that distinguishes the grammar and pragmatics subsystems in terms of monotonic and nonmonotonic inferences, I will discuss how independently motivated default preferences interact in the interpretatio...
متن کاملA Phrase-Structured Grammatical Framework for Transportable Natural Language Processing
The F I N I T E S T R I N G News le t te r Calls for Papers 151 Computer Assisted Information Retrieval, Theoretical Approaches to Natural Language Understanding, 23rd Annual Meeting of the ACL, IJCAI-85, Theoretical and Methodological Issues in Machine Translation of Natural Languages, International Pragmatics Programs 155 Coling84, International Workshop: Natural Language Understanding and Lo...
متن کاملSelf-checking Logical Agents
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008